Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
41	IFSH Special Seminar Tuesday, March 17, :00AM – 12:00 PM Room 100, Moffett Campus Rebecca Bell, Ph.D. & Jie Zheng , Ph.D. Add to Reading List Source URL: www.iit.edu Language: English - Date: 2015-03-12 12:22:32 Salmonella Biology Food safety Medicine Food and drink Center for Food Safety and Applied Nutrition Institute for Food Safety and Health Biologist Subtype polymorphism Microbiology Enterobacteria Gram-negative bacteria
42	PDF Document Add to Reading List Source URL: ecdc.europa.eu Language: English - Date: 2014-09-18 09:23:22 Medicine Case definition Definition Outbreak Subtype polymorphism Foodborne illness Epidemiology Health Linguistics
43	FEEVER Mee(ng – October 13,2014 Type Inference in Multirate Faust Is Undecidable Pierre Jouvelot MINES ParisTech, PSL Research University Add to Reading List Source URL: feever.fr Language: English - Date: 2014-10-14 15:49:58 Software engineering Programming language theory Object-oriented programming Polymorphism Subtype polymorphism Type system Diophantine equation Function Type theory Data types Mathematics
44	Adding Wildcards to the Java Programming Language Mads Torgersen Christian Plesner Hansen Erik Ernst, and Peter von der Ahe´ University of Aarhus Add to Reading List Source URL: www.gafter.com Language: English - Date: 2004-01-14 14:05:32 Type theory Computer programming Polymorphism Data types Generic programming Covariance and contravariance Subtype polymorphism Parametric polymorphism Type system Software engineering Computing Object-oriented programming
45	Semantic subtyping for the π-calculus Giuseppe Castagna Rocco De Nicola ´ Ecole Normale Sup´erieure, Paris Universit`a di Firenze Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Mathematical logic Data types Object-oriented programming Polymorphism Lambda calculus Subtype polymorphism Type system Interpretation Generic programming Software engineering Type theory Theoretical computer science
46	Mixins in Strongtalk Lars Bak Gilad Bracha Steffen Grarup Robert Griesemer David Griswold Add to Reading List Source URL: www.bracha.org Language: English - Date: 2011-09-24 10:47:46 Object-oriented programming Mixin Multiple inheritance Inheritance D Subtype polymorphism Interface Method overriding Scala Software engineering Computing Computer programming
47	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
48	Semanti subtyping: dealing set-theoreti ally with fun tion, union, interse tion, and negation types ALAIN FRISCH Lexi and Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:28 Programming language theory Data types Object-oriented programming Polymorphism Subtype polymorphism Type system Universal type System F Curry Software engineering Type theory Computing
49	OCaml + XDuce Alain Frisch INRIA Rocquencourt Abstract Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:27 Programming language theory OCaml Type system ML Subtype polymorphism Type inference System F Lambda calculus Type safety Software engineering Type theory Computing
50	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering